1. Formal systems specification :
پدیدآورنده : Manfred Broy, Stephan Merz, Katharina Spies (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Elaborazione elettronica dei dati -- Elaborazione distribuita.,Reti di elaboratori.
2. Reti di calcolatori :
پدیدآورنده : Behrouz A. Forouzan, Firouz Mosharraf ; edizione italiana a cura di Gabriele D'Angelo e Gaia Maselli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Reti di elaboratori
3. Reti di calcolatori /
پدیدآورنده : Bruce S. Davie, Larry L. Peterson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Reti di elaboratori elettronici.
4. Reti di computer
پدیدآورنده : Andrew S. Tanenbaum; edizione italiana a cura di Paolo Ciancarini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Elaboratori elettronici -- Reti di trasmissione.,Trasmissione dei dati -- Sistemi.
5. Sicurezza delle reti :
پدیدآورنده : William Stallings.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Reti di elaboratori elettronici-- Sicurezza.
